7 results
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 5 / September 2022
- Published online by Cambridge University Press:
- 01 July 2022, pp. 708-722
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 5 / September 2021
- Published online by Cambridge University Press:
- 23 September 2021, pp. 629-645
-
- Article
-
- You have access
- Open access
- Export citation
The Expressive Power of Higher-Order Datalog
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 925-940
-
- Article
- Export citation
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 3-4 / July 2018
- Published online by Cambridge University Press:
- 10 August 2018, pp. 421-437
-
- Article
-
- You have access
- Export citation
The intricacies of three-valued extensional semantics for higher-order logic programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 5-6 / September 2017
- Published online by Cambridge University Press:
- 23 August 2017, pp. 974-991
-
- Article
- Export citation
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 725-737
-
- Article
- Export citation
Models and Games by Jouko Väänänen, Cambridge University Press, Cambridge Studies in Advanced Mathematics Series 132, 2011. Hardcover, ISBN 978-0-521-51812-3, 367 pp.
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 3 / May 2012
- Published online by Cambridge University Press:
- 23 May 2012, pp. 413-416
-
- Article
- Export citation